Axioms for tense logic. II. Time periods.

Lecture 2 : Time , tense , and tense - logic ∗

Tense Logic in Einstein-Minkowski Space-time

This paper argues that the Einstein-Minkowski space-time of special relativity provides an adequate model for classical tense logic, including rigorous definitions of tensed becoming and of the logical priority of proper time. In addition, the extension of classical tense logic with an operator for predicate-term negation provides us with a framework for interpreting and defending the significa...

Malmquist Productivity Index for Multi Time Periods

   The performance of a decision making unit (DMU) can be evaluated in either across-sectional or a time-series manner, and data envelopment analysis (DEA) is a useful method for both types of evaluation. The Malmquist productivity index (MPI) evaluates the change in efficiency of a DMU between two time periods. It is defined as the product of the Catch-up and Frontier-shift terms. In this pape...

Times in Tense Logic

Tense logic is often said to possess insufficient expressive resources to serve as a theory of the nature of time. This paper counters this objection by showing how to obtain quantification over times in a tense logic in which all temporal distinctions are ultimately spelled out in terms of the two simple tense operators “it was the case that” and “it will be the case that.” This account of tim...

Indexical Hybrid Tense Logic

In this paper we explore the logic of now, yesterday, today and tomorrow by combining the semantic approach to indexicality pioneered by Hans Kamp [9] and refined by David Kaplan [10] with hybrid tense logic. We first introduce a special now nominal (our @now corresponds to Kamp’s original now operator N) and prove completeness results for both logical and contextual validity. We then add propo...